The same problem spotted in commit
89a2dc71fc1ed is present in
some more places, fix those as well.
https://bugzilla.gnome.org/show_bug.cgi?id=724686
return false;
if (isWindow)
- return window.get_workspace() >= newWorkspaceIndex && winActor != source;
+ return window.get_workspace().index() >= newWorkspaceIndex && winActor != source;
else
- return window.get_workspace() >= newWorkspaceIndex;
+ return window.get_workspace().index() >= newWorkspaceIndex;
});
this._spliceIndex = newWorkspaceIndex;